契約による設計 DbC(Design by Contract)